Witold Charatonik: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Two-Variable Logic with Counting and Trees

Charatonik, Witold, Witkowski, Piotr

Journal:

ACM Transactions on Computational Logic

Year:

2016

Language:

english

File:

PDF, 450 KB

english, 2016

2

Complexity of Two-Variable Logic on Finite Trees

Benaim, Saguy, Benedikt, Michael, Charatonik, Witold, Kieroński, Emanuel, Lenhardt, Rastislav, Mazowiecki, Filip, Worrell, James

Journal:

ACM Transactions on Computational Logic

Year:

2016

Language:

english

File:

PDF, 652 KB

english, 2016

3

An undecidable fragment of the theory of set constraints

Witold Charatonik

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 498 KB

english, 1998

4

Model checking mobile ambients

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 789 KB

english, 2003

5

Set Constraints in Some Equational Theories

Witold Charatonik

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 515 KB

english, 1998

6

Set Constraints with Intersection

Witold Charatonik, Andreas Podelski

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 156 KB

english, 2002

7

Parameterized complexity of basic decision problems for tree automata

Charatonik, Witold, Chorowska, Agata

Journal:

International Journal of Computer Mathematics

Year:

2013

Language:

english

File:

PDF, 283 KB

english, 2013

8

[IEEE 37th International Symposium on Multiple-Valued Logic - Oslo, Norway (2007.05.13-2007.05.16)] 37th International Symposium on Multiple-Valued Logic (ISMVL'07) - 2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices

Charatonik, Witold, Wrona, Michal

Year:

2007

Language:

english

File:

PDF, 159 KB

english, 2007

9

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Two-Variable Logic with Counting and Trees

Charatonik, Witold, Witkowski, Piotr

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

10

Set constraints with projections

Pacholski, Witold Charatonik Leszek

Journal:

Journal of the ACM

Year:

2010

Language:

english

File:

PDF, 406 KB

english, 2010

11

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Decidability of weak logics with deterministic transitive closure

Charatonik, Witold, Kieroński, Emanuel, Mazowiecki, Filip

Year:

2014

Language:

english

File:

PDF, 328 KB

english, 2014